Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur l'OCR

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Ohio61
John Franco2
Ohio Sauf John Franco" 60
John Franco Sauf Ohio" 1
Ohio Et John Franco 1
Ohio Ou John Franco 62
Corpus7533
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
003621 Chao Ming-Te [États-Unis] ; John Franco [États-Unis]Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem
Wicri

This area was generated with Dilib version V0.6.32.
Data generation: Sat Nov 11 16:53:45 2017. Site generation: Mon Mar 11 23:15:16 2024